perm filename SAVED.MSG[ESS,JMC]3 blob sn#146366 filedate 1975-02-19 generic text, type T, neo UTF8
∂08-FEB-75  1719		1,SGK
 Call David McQueen 513-8787295 office 255-3098. Feferman has folder.


∂11-FEB-75  1231		network site ISIA
 Date: 11 FEB 1975 1229-PST
 From: NBS at USC-ISIA
 Subject: TIMESHARING COOP
 To:   JMC at SU-AI
 cc:   NBS
 
 DEAR DR. MCCARTHY,
 
      IREAD A COPY OF THE PROPOSAL FOR A TIMESHARING COOP,
 AND IT SOUNDS VERY INTERESTING TO ME.  THEREFORE I WOULD
 
 BE WILLING TO AND INTERESTED IN TALKING ABOUT IT WITH
 OTHER PEOPLE, AND IN HELPING TO SET IT UP.
 
      I AM AN UNDERGRAD AT STANFORD, AND HAVE A FAIRLY EXTENSIVE BACKGROUND
 
 IN COMPUTING.
 
 I CAN BE REACHED VIA THE FOLLOWING:
 
 ARPA-NET       NBS@ISI   (PLEASE START MESSAGE WITH "FOR ED FRANK"
 
 SLAC-TRIPLEX   SUGGEST TO EHF$EA
 
 UNCLE SAM
 LETTER SINK     ED FRANK
                P.O BOX 2008
                STANFORD, CA
 
 MA BELL        415-321-6143
 
                 SINCERELY,
                 ED FRANK
 -------


∂11-FEB-75  1407		DOC,TOB
 There are two positive contributions by
 Don Gennery.  As a course project, he made
 a search for calibration solution that was
 successful, where Hannah had been unsuccessful
 before.  At SRI, he made a horizontal 
 rectangle bounder; JMT's opinion is that he
 did a good job.  That he had good ideas, was
 competent and a good executor, hard worker.
 Along the lines of Perkins, not a deep thinker
 but reasonable and competent.
 There is of course the negative information
 about not working his first year here.
 Tom


∂08-FEB-75  0139		100,100: sgk @ SAIL
 Have invited Schroeppel & c. to stay here the nite of the 22nd.  Say if OK soon pls.


∂05-FEB-75  1503		100,100: S/WD @ SAIL
 	I don't know if you found the note.  Telco was here about the phone problem
 while you were away and claims that you need an interface for you Phonemate.


∂05-FEB-75  1415		1,ELF
 READ MADMAD.MAD LAST PART[1,ELF]


∂05-FEB-75  1132		1,MG
 Subject: Change of time or place of meeting. 
 
 I've just  discovered that  the conference  room at  SU-AI is  booked
 every monday between  4:15 and 5:15. Thus either the time or place of
 the next meeting of  the program reasoning  group must be changed.  I
 propose that it be moved to tuesday  18 feb. (the day after it was to
 be).  Please let me know if  this is O.K. If  it isn't maybe we could
 still have the meeting on monday but at SRI or PARC? 
 
 I'll confirm the new time and place in a day or so. 
 
 Sorry about this. Mike


∂04-FEB-75  1202		P,JRA
 cs206?

∂04-FEB-75  1137		1,MG
 Subject: Future meetings of Program Reasoning Group. 
 
 The next meeting is  in the conference room at Stanford  A.I. Lab. at
 3.30  p.m.  on mon.  17 feb. Balint Domolki  (who's visiting the  A.I.
 Lab. from Hungary) will talk. 
 
 The meeting following that will be at Xerox PARC at 3.30 p.m. on mon.
 3 march.  Richard Waldinger will talk. 
 
 The debate described in previous  messages (which was conceived of by
 Bob.  Boyer)  is  to be  organanised  by  Richard  Waldinger. Further
 suggestions concerning it should be sent to Richard at SRI. 
 
 Sorry about the  vast list of names  that non-SU-AI people have  been
 getting at  the top of  previous messages -  I had no  idea they were
 appearing!  I hope I've now found the right hack to suppress them. 
 
 If you would  like to  stop getting these  messages, or  if you  know
 someone who'd like to start getting them, please let me know. 
 
 Mike

∂04-FEB-75  0758		100,100: sgk @ SAIL
 Heave left your camera by the imlac.  I bought more film for you, and
 then proceeded to take nine shots...  Will get more eventually.  TNX
 Essay debugging is progressing despite E's efforts to drive me to the
 nut house.


∂03-FEB-75  1102		THE,AJT
 what do you know about the funny Schloss Laxenburg placein Vienna - can
 you give me some idea of th sorts of things that they're doing, and of 
 your own opinion of the place. thanks. arthur

∂03-FEB-75  0951		1,MG
 Subject:  **** FREE COFFEE AND COOKIES ****
 
 Today's meeting of the program reasoning group - in which J moore
 will discuss the new improved LISP theorem prover - will be at 
 3.30 in SRI's I building room s109 (the keidan room).
 
          ************************************
          * There will be  FREE refreshments *
          ************************************
 


∂02-FEB-75  1839		1,PMK AT TTY106   1839
 John,
 Would you have some time to talk with me tomorrow? I saw you when
 I came in tonight but you looked tied up, then you disappeared!
 
 I plan to be here most of tomorrow, so if you have some free
 time would you please let me know.
 
 Thanks, Peggy


∂31-JAN-75  1354		network site ISIA
 Date: 31 JAN 1975 1334-PST
 From: LICKLIDER at USC-ISIA
 Subject: Hieronymus
 To:   McCarthy at SU-AI
 cc:   Licklider
 
 	John, I do not know him well enough to be helpful.
 He seemed bright and interesting when he was here for a short visit,
 but I did not get enough of a fix on him to be sure whether I'd
 want to hire him, myself, or urge you to keep him
 hired.
 
 	My consideration of your proposal was interrupted by
 paperwork requirements levied by the new Director and by
 the need to get out several Memos Requesting ARPA Orders before
 COB today.  I'll get back at it shortly.  I'll have to ask for
 considerable sharpening of the objective structure; it now reads
 as though there are a lot of miscellaneous objectives to be reached
 in a year or two, but that it is not clear what roads they are on,
 what major goals they are subordinate to.  Also, I'll have to ask for
 a major reconsideration of the equipment section, which sounds as though
 it is heading for another ideosyncratic system.  (I have an idea
 about how to handle that, but I can't describe it now.)  Sorry to 
 have to noodle about on the proposal.  Al Blue got us an extension
 to cover the time required for noodling without losing the money.
 But we'll have to work pretty fast.  I assume I should communicate
 with LES -- with carbons to you?
 
 				Regards
 
 				Lick
 -------